$p$ $\wedge_{b}$ $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $p$ then $q$ else ff fi